| Name | Version | Summary | date |
|---|---|---|---|
| proofofthought | 1.0.1 | LLM-based reasoning using Z3 theorem proving | 2025-10-18 00:31:47 |
| wkrq | 3.3.2 | A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification | 2025-08-25 18:47:33 |
| pylean | 0.0.1a0 | Pure Python interaction with Lean 4 theorem prover | 2025-08-05 08:45:45 |
| TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
| hour | day | week | total |
|---|---|---|---|
| 64 | 1426 | 8129 | 333800 |